Ships. Executive order [authorizing sale of all vessels, boats, auxiliary ships, and their equipment purchased or commandeered by Navy for purposes of the war now no longer needed by Navy].