Title: The use and disposition of ships and shipyards at the end of World War II