President Donald J. Trump has declared Dec. 5 as a national day of mourning for former President George H.W. Bush, who passed away at age 94.Trump joined countless others in paying tribute to Bush and his lifetime of service as a Navy pilot in World War II, congressman, ambassador to the United