Maui County buys David K. Trask Jr. building

The purchase of the building comes "as part of ongoing efforts to cut millions of dollars the county pays each year for rent," according to an announcement from the county.