Another name for marina is harbor.