<page_title> List of mayors of Ponce, Puerto Rico </page_title> <section_title> 19th century </section_title> <table> <cell> Eduardo Armstrong <col_header> Name </col_header> </cell> <cell> 10 August 1894 – 3 May 1895 <col_header> In Office </col_header> </cell> </table>
Eduardo Armstrong was Mayor of Ponce, Puerto Rico, from 1894 to 3 May 1895.