Tyler Mahle after loss to Marlins