A block J-Lanczos method for Hamiltonian matrices (Electronic transactions on numerical analysis)