Gators lose another pitcher to Tommy John surgery