Ricky Nolasco becomes #Marlins all-time strike out king