Nombre de la localidad, EL PUERTO DE SANTA MARIA