WSJ: Michael Cohen received $774K credit line during Trump campaign