Indonesia navy says lost sub has sunk