Leonardus Trip, de vergeten monetaire ridder van Nederland