US Representatives Jamie Raskin and Robert Garcia sent a formal letter asking Donald Trump whether Donald Trump solicited advice from xAI's Grok to execute official presidential duties