Martin Van Buren
... that Martin Van Buren was over twenty feet wide?
... that <b id="mwGO4"><a href="./USS_Van_Buren_(1839)" id="mwGO8" rel="mw:WikiLink" title="USS Van Buren (1839)">Martin Van Buren</a></b> was over twenty feet wide?