“If I have a different HP laptop connected to an HP docking station, would the docking station charge this laptop? the docking station output is USBc and I see this one has a circular power input.”