It's official: Gary van Egmond will coach the Jets