US Olympic swimmer Ryan Lochte was mugged at gunpoint in Rio