palatset hissades flaggor på half stång.