17-Year-Old Irish Girl Runs 4:09.25