A dominant strategy double auction