Report: Miami, Mario Cristobal agree to long-term extension | Player12