Integer right triangles