“The United Kingdom plans to turn over the military base on Diego Garcia, which it previously shared with the U.S., to Mauritius.”