Was Cochran not eligible for a medical redshirt?