UK-US joint military base on Diego Garcia — how might the UK Chagos Islands deal affect its control?