Trump taps Director of National Intelligence Jay Clayton as AI czar: WSJ reports