German vessels. Executive order [authorizing Shipping Board to take over 87 German vessels now within jurisdiction of United States].