<page_title> List of mayors of Miami </page_title> <section_title> List of Mayors </section_title> <table> <cell> Randy Christmas <col_header> Mayor </col_header> </cell> <cell> January 1, 1955 – January 1, 1957 <col_header> Term </col_header> </cell> </table>
Randy Christmas was the Mayor of Miami from 1955–1957.