The X-31, an experimental thrust vectoring fighter jet, performing a high AOA landing