英语翻译official public holidays are also called "bank holidays"