In the US War of Independence, Spain regained control of Minorca, but not Gibraltar. Why? Did they try to push for Gibraltar in peace negotiations?