RIP Barbara Bush.