Managing the additional bank holiday for His Majesty’s coronation: not as straightforward as it seems