Gulf Stream
Craft died on November 10, 2015, at age 92, at his home in Gulf Stream, Florida.