House Democrats Hit SEC with 13 Questions on AI Trading Agents