Lightning-generated NOx seen by OMI during NASA ’ s TC 4 experiment 1