rename port

BUR #61591 has been approved by @evazion.

rename port -> maritime_port

This fucks up autocomplete for portrait. Dunno what a good name for it would be.

The bulk update request #61591 (forum #451217) has been approved by @evazion.

Between maritime port, harbor, dock, and wharf, we have a lot of different tags for "place where ships land to load goods or passengers".