sentences: "Klipfontein" had been one of the Dutch ships taken over by the War Shipping Administration 23 February 1942, allocated to U.S. Army with the nature of the operating agreement with the Netherlands Ministry of Shipping changed 23 May 1942 to a time charter extending until 1 February 1946.