The City of West Palm Beach flying its flag at half mast

---

---