Rio de Janeiro has not provided any additional information.