Ostodolepis Brevispinatus, a New Reptile from the Permian of Texas