Miami Dolphins defensive tackle Christian Wilkins throws out a ceremonial first pitch before the start of a baseball game between the Miami Marlins and the Texas Rangers, Thursday, July 21, 2022, in Miami. (AP Photo/Wilfredo Lee)