Missing Notre Dame student found dead in lake