College baseball: Simon Whiteman named All-District