The history of Puerto Rico, from the Spanish discovery to the American occupation / R. A. van Middeldyk