<Tr> <Td> Second Monday in October </Td> <Td> Columbus Day </Td> <Td> Día de la Raza Descubrimiento de América </Td> <Td> A federal and commonwealth official holiday . </Td> </Tr> <Tr> <Td> November 11 </Td> <Td> Veterans Day </Td> <Td> Día del Veterano Día del Armisticio </Td> <Td> A federal and commonwealth official holiday, usually observed at the Puerto Rico National Cemetery . </Td> </Tr> <Tr> <Td> November 19 </Td> <Td> Discovery of Puerto Rico </Td> <Td> Día del Descubrimiento de Puerto Rico </Td> <Td> A Commonwealth of Puerto Rico official holiday . Christopher Columbus (Don Cristóbal Colón) landed on the northwest coast of Puerto Rico near Aguada on his second voyage to the New World in 1493 . </Td> </Tr> <Tr> <Td> Fourth Thursday in November </Td> <Td> Thanksgiving Day </Td> <Td> Acción de Gracias <P> Día de Acción de Gracias </P> </Td> <Td> A federal and commonwealth official holiday . It marks the beginning of the Holiday (Christmas) season . </Td> </Tr>

Is it a holiday in puerto rico today