NON-ARCHIMEDEAN WELCH BOUNDS AND NON-ARCHIMEDEAN ZAUNER CONJECTU