Forgotten Heroes: Police Officers Killed in Early Florida, 1840-1925