The United States military facilities on Diego Garcia have been known informally as Camp Justice and, after renaming in July 2006, as Camp Thunder Cove. Formally, the base is known as Naval Support Facility Diego Garcia (the US activity) or Permanent Joint Operating Base (PJOB) Diego Garcia (the UK's term).