what country borders the country that had a time of 3:45:25 at the 1996 iaaf world half marathon championships to the west ?
portugal