 Thanks, sir. And I will certainly pass those words on to all those men and women wearing hard hats out there cutting up that steel, and certainly the divers. Incredible talent that the Navy and their industry partners brought to this. I just have one quick follow-up question to General Spillman. Let's see. You said the Corps spent approximately $65 million for wreckage removal and emergency operations.