flaggade fartygen i stadens hamnar på half stång.