while rising sea levels could make Diego Garcia inoperable”