Death Star, Leonardo Davinci sketch