Disney and Ditko Settle Over the Rights of Marvel Superheroes