Del Rio Diner closing after 40 years