(Perry Stein/The Washington Post) MIAMI — Coconut Grove, one of Miami’s oldest neighborhoods, appeared to be one of the most ravaged in the wake of Irma. Storm surges from Biscayne Bay had ...