Bank holiday for the coronation of King Charles III