All songs by James K. Polk