A family member who has been travelling all day comments on the flags being at half mast this evening and was windering who died. Moments later I saw this.
https://docs.google.com/spreadsheets/d/1SocrVZ9gaD8hWxtz5EUZDInXKWTZq5Vvrg_PSJgbbf0/edit?usp=drivesdk