To put this into a little perspective, the Forrestal class of Aircraft Carriers (the very first of the "super carriers", which means they have an angled deck) displaced 80k tons fully loaded for sea. 1/80th of the smallest of the "super carriers" that's just nuts. Hey, wait a moment! You work for DARPA under NASA don't you!?! LOL