Texas Doctor Juan León Mallorquin is a district of the Alto Paraná Department, Paraguay. 25°25′S 55°15′W / 25.417°S 55.250°W / -25.417; -55.250