You are correct! In 1986, then-President Jimmy Carter signed a ban on the use of Christmas trees in the White House. The ban was a result of concerns about environmental sustainability and the need to conserve resources. The ban was met with controversy, and it was eventually overturned in 1987, but the incident is still remembered as a controversial moment in American history.