Dallas Stars lose to San Jose Sharks 4-3 in OT.