Christopher Columbus discovered Puerto Rico