Jack Osterholt, deputy mayor in Miami-Dade and county manager in Broward, dies at 71
HEDGE accordingly