Employees noticed unusual layers of dust on the shelves and then saw that holes had been burrowed into some of the book spines.

Obamas are teaming up with Larry David to produce a six-episode sketch comedy series on HBO to mark the country’s 250th anniversary, parent company Warner Bros. Discovery announced Thursday.