本日（11日）は‘退役軍人の日’(Veteran's Day) という米国の祝日だった。過去に戦争に参加した米国の元軍人たちをねぎらいほめたたえる日であるらしい。ジャクソンビルでもパレードがあり、ちょうどホテルの目の前がコースになっていたので見物した。オープ…