US rocket attack kills high ranking Iranian military leaders.