Después de la Segunda Guerra Mundial, la Marina de los EE.UU.