The Coconut Grove neighborhood of Miami sustained some of the worst damage from Irma. (Perry Stein/The Washington Post) MIAMI — Coconut Grove, one of Miami’s oldest neighborhoods, appeared to ...