[SR-Users] How to determine correct port to set in record-route header