Does anyone else feel it is an interesting coincidence that his name was Reis? Until 1911 that was also the name for common currency in Portugal, then replaced by Escudos at a rate of 1000:1. Is/was this a common name in Portugal?