Tre Johnson Breaks Record in Texas Longhorns Debut