SHIPPINGPORT PRESSURIZED WATER REACTOR - NAVAL REACTORS BRANCH (U.S.A. ADDISON-WESLEY, 1958)