Hay algunas cosas que actualizaría, pero no quiero darte todo de una vez ya que esto parece un proyecto escolar. Su variable "pro" debe estar dentro del ciclo while. Si elimina "hundido = verdadero", el ciclo while se ejecutará para siempre, ya que pro no es igual a ninguna de las ubicaciones (en segundo lugar si). Pro está fuera del circuito, por lo que nunca se le solicita un nuevo número y continuamente se pierde indefinidamente.