“[Blinker] Hall, operating on the quaint theory that the Navy might be needed for battle and that whatever increased the ship's efficiency was a criterion for change, had continued trampling on the toes of orthodoxy.”