¿Por qué la Virgen del Carmen es la patrona de las gentes del mar?

Hoy, como cada 16 de julio, la sociedad en general y las gentes del mar en particular celebran la festividad de la Virgen del Carmen, una de las advocaciones marianas…