Washington Post inadvertently releases names of journalists who received stock-option bonuses