20160130 world.us: Trump-less GOP debate seen by 12.5 million people