Resonant Josephson current through a quantum dot