Danmark , hvars marinbudget uppgår till 7 , 900 ,000