RIP David the red panda (DAVID)