offentliga byggnader och fartyg i London på half stång.