“Sadler . . . understands the Mahanian dictum that ‘Great nations have great navies, and diminish without them.’