Google staff discussed ways to fight Trump travel ban: WSJ