Ron Paul and the dollar