War-ships. Cruising radii of U. S. naval vessels from actual steaming data, 1919.