Release of tankers for the war against Japan through altered distribution of European oil supplies