Former El Camino coach and administrator Dave Shannon passes away at 75