<page_title> Juan Miranda (runner) </page_title> <section_title> International competitions </section_title> <table> <cell> 1st <col_header> Year </col_header> </cell> <cell> 3:53.30 GR <col_header> Venue </col_header> </cell> </table>
Miranda claimed the gold medal with a record of 3:53.30 minutes.