https://qcostarica.com/friday-the-13th-is-not-a-bad-luck-day-in-costa-rica/
It's Friday the 13th, but not a bad luck day in Costa Rica