State briefs for August 1

Hawaii’s hotel industry sees gains for first half of year