Sheldon Adelson and Rio de Janeiro’s mayor, Marcelo Crivella