Jensen's reserve currency (JRC)