Libya: National Oil Corporation's Tripoli offices attacked