“submarines of the U.S. Navy”