How to know what is the device corresponding to a certain external disk?