Mason — city in Warren County, Ohio, United States