Día de la Virgen del Rosario: por qué se celebra hoy 7 de octubre