A principal ideal theorem for compact sets of rank one valuation rings