20150917 world.us: For US pilots; the real war on ISIS is a far cry from 'Top Gun'