Under which number president did Arthur A. Ballantine become solicitor of the Internal Revenue Service?