Distribuição de Hydrochus elongatus em Portugal