Marine diesel oil engines. A manual of marine oil engine practice, etc.