PUERTO RICAN HOLIDAYS: As elsewhere, it works out that this is the first Monday in September