How Much Is the Reserve Currency Status of the Dollar Worth?