Punishment for piracy at sea. .