Lion Air is an Indonesian low-cost airline based in Jakarta. Lion Air is the country's largest privately run airline, the second largest low-cost airline in Southeast Asia and the largest airline in Indonesia. From Wikipedia
The agreement acknowledges obstruction, avoids a June trial, and awaits approval from a Texas federal judge.
