US military used Anthropic in Iran strike despite ban order by Trump: WSJ