Ah so it looks like it wasn't John who wrote Red Prince. It would have been funny and sad at the same time if he did.