Obama marks St. Patrick's Day with brew in a pub