My thoughts also - RIP His Royal Highness The Prince Philip, Duke of Edinburgh.