Bahía del Puerto de San Miguel, PORT DE SANT MIQUEL