Minor planets named for comics characters