U.S. President Donald Trump and First Lady Melania, former Presidents and first ladies Barack Obama and Michelle, and Bill Clinton and Hillary were among dignitaries that have mourned former First Lady Barbara Bush.