state funeral
noun
A formal, ceremonial, public funeral held to honour a head of state or other figure of national significance, often incorporating military honours.
Origin
Mid 18th century; earliest use found in John Mills (c1717–a1796), writer on agriculture.