Platelet PECAM-1 inhibits thrombus formation in vivo.