Para el nombre del pueblo se eligió el de "Mira Mar".