Diego Garcia, one of the islands in the British Indian Ocean Territory