WSJ: U.S. military used Claude in raid to capture Maduro