He greeted the mayor of Miami , Manny Diaz , as " Alex . "