Worth County football introduces new head coach, Phil Ironside