och fartyg flaggades det å half stång.