Could the original red have faded, and this was a refresh? That possibility doesn't seem to be excluded by the data.

A crucial point is that these maps were not worth much money at the time the red ink was applied. It is not comparable to doing do in today's market in which the documents sell for a great deal.