Ardusub and Pixhawk compatible Lidar

does any anyone know of a moderately priced micro lidar that works with Ardusub and a Pixhawk?

John