The old Mandarin Oriental hotel in Brickell Key is demolished. What's next?