Ki volt az árvízi hajós?

Ki volt az árvízi hajós, aki 1838-ban a pesti árvízben életeket mentett?