the carve out is weird and usually open-source does not say, no to the navy using it BUT, it's OK for DARPA ...

> Military Use: Use by or for any military organization or for any military purpose, including but not limited to projects sponsored or paid for by military organizations, or use by the U.S. Department of Defense (except for DARPA), U.S. Armed Forces, U.S. Department of Homeland Security, U.S. intelligence agencies, or any foreign counterparts of the foregoing.