Penot's Compactness Property in Ultrametric Spaces with an Application. (19th April 2021)