Craftsman Marindiesel 42Hk