Cancelled or proposed invasions of Korea