Cholesterol granuloma of the anterior mediastinum