Ships. Executive order [authorizing transfer of certain named vessels including tankers, refrigerating ships, and commercial type vessels for naval auxiliary use, from Shipping Board to Navy Department].