November 19 marks the Discovery of Puerto Rico Day, an important local holiday that commemorates Christopher Columbus’s ...