I do wonder why these types of books slightly change the names of historical characters. I've seen it before and it grates, primarily because I've no idea why it's done - surely the authors can't fear legal action?
It's as if
@Meadow had written Agent Lavender about 'Harry White' and his escape being added by 'Jerry Copperbarn'