SEA LION SHOT DEAD (SEALION)