https://atcnews.org/airlines-brace-for-jkia-operational-hours-to-reduce-from-24-to-18/