City asks judge to unmask two 'John Doe' Democrats suing Cincinnati over 'Gang of Five' texts