The law of the sea : A manual of the principles of admiralty law for students, mariners, and ship operators