I'm not sure what the official name is, but techno-thriller authors have been caught out before. Brown refers in one of his books to "VF-23 Wildcats" (Northrup chose "Black Widow II" for the YF-23, which of course never entered service); Tom Clancy has used the Dark Star drone, which was cancelled, and mentions Lockheed calling the "Raptor" unofficially the "Lightning II" - some time before that name was chosen for the F-35.
Of course, all authors are at the mercy of USAF chossing different names to those a company thinks best, "unofficial" names, or budget cuts (and maybe, someday, the Royal Navy will have a carrier of its very own to play with too... )