Trạng nguyên Việt nào từng giúp vua Minh cầu mưa, giải hạn?

Ông là trạng nguyên thời vua Lê Nhân Tông, nổi tiếng với giai thoại giúp vua Minh cầu mưa chống hạn hán.