Integrable symplectic maps associated with discrete Korteweg‐de Vries‐type equations