Merchant fleets of the world by flags of registration, groups of countries and territories and types of ships, in grt and dwt, as at 1 July 1980