“the U.S.S. Lexington and the Coral Sea battle”