och helsades på vanligt sätt med salut och flaggning.