Superconducting Quantum Interference in Edge State Josephson Junctions