The world encyclopedia of flags : the definitive guide to international flags, banners, standards and ensigns