US citizen killed in Tripoli attack: senior official