Danish military kills four pirates off Nigeria coast.