Gators land 2021 DL Christopher Thomas – GatorSports.com