Baseball WHS 9th vs Choctaw DH @ WHS