Zaki Blunt comes to mind. He ran 4:17.81 (1600) in HS, but was never top 7 in CC at NP.
No current NP runner has run sub 4:19!!!
Ryker Bement from American Fork has run a 4:19.0 (1600) and was not top 7. But he is only in grade 11, so he should make the team in 2024.
Can’t think of anyone faster than Blunt.