I would report the offending person to moderation. If enough people do it they might actually deal with the trolling.