13 federal executions carried out