New Marlins shortstop: Jose Reyes