Are there any known right triangles that have integer side lengths and rational angles? If not, has it been proven that none exist?