fartyg flaggade på half stång.