Will there be a Jimmy Carter Presidential dollar released in the future, like how they released Bush in 2020?