All of that is the Navy's responsibility to cover. But there...

All of that is the Navy's responsibility to cover. But there are other things that the company had insurance to cover, things like capital expenses and business interruption.