German vessels. Executive order [authorizing that possession and title of United States in all German vessels taken over and operated by United States during the war, be taken over in accordance with joint resolution adopted by Congress and approved by the President, May 12, 1917].