I move:

That the Senate—

(a) acknowledges that President Donald J Trump has declared 5 December 2018 to be a national day of mourning for the American people; and

(b) expresses its condolences to the Bush family and the American people on the passing of their 41st President, George H.W. Bush.

Question agreed to.