Lightning vs Gripen: Thailand wants F-35s but may get JAS 39 Gripens instead