Flags. Executive order [authorizing proportions of all national flags and union jacks for Departments of Government].