Commercial properties: Tidewater Community College buys office in Portsmouth