Am I right in understanding that .io domains are at risk of disappearing from DNS if the UK surrenders the Chagos Islands to Mauritius?