how many submarines have a tonnage above 4,000?
13