Historical outline of Puerto Rico