Top Astros coach could be candidate for Mets manager if it opens up