What type of antenna is used in an aircraft’s Instrument Landing System (ILS) marker beacon installation?