War-ships. Standard nomenclature and list of vessels, Navy, July 1, 1920.