Basically Im reading a book called Columbus to Castro and they say that during the American Revolution the British offered to trade with Spain for Gibraltar. The Spanish originally offered West Florida, Oran and the Dominican Republic ( not all together, individually) but the British refused the offer, they were only willing to lose Gibraltar if the Spanish gave them Puerto Rico. So here is the question, what happens to history in a world where Gibraltar is Spanish and Puerto Rico is British?