Infrastructure helps drive state to record-setting 2023 tourism season