International airport serving Johor Bahru operated by a Johor state-linked entity; an important aviation gateway for southern Malaysia and cross-border travellers from Singapore (Senai Airport Terminal Services — Johor Corp)