Listing of ferry operators and services around the world.