Cancelled or proposed invasions of Puerto Rico