nor by Mauritius’s decision to lease Diego Garcia for a base”