Question: when did the florida marlins become miami marlins
Answer: in 2012