Tourist-tax collections in Orange County continued a record run in December, the ninth straight month in which receipts were the highest ever for the month, according to figures released this morning ...