Video: Network Optimization Demo from River Logic