is there a way to short $trump?