The cruise ship terminal building in Rio.