U.S. posts record $711 bln deficit for first three months of fiscal 2025 - Reuters