I want to know the answer to the following question:
Who was a recent mayor of Miami?
All the background I'm provided with is that "In recent years the city government, under Mayor Manny Diaz, has taken an ambitious stance in support of bicycling in Miami for both recreation and commuting.". Is that enough to answer the question?