First U.S. oil export leaves port; marks end to 40-year ban